Dict(
	[12, 15, 4, 8, 14, 1, 1, 16, 1, 1] => QQFieldElem[1, 0, 0, 0])